arguments in discrete mathematics